Instance Verification Kit (IVK)

spin lock @ [37047+22+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]
Instance Signature: lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
mv_u3d_done [5140+11+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]
mv_u3d_ep_dequeue [21837+17+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]
mv_u3d_ep_disable [16053+17+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]
mv_u3d_handle_setup_packet [38079+26+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]
mv_u3d_irq [42169+10+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]
mv_u3d_irq_process_link_change [35419+30+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]
mv_u3d_irq_process_setup [40166+24+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]
mv_u3d_irq_process_tr_complete [40611+30+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]
mv_u3d_nuke [34536+11+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]
mv_u3d_pullup [30512+13+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]
mv_u3d_stop [32062+11+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]
mv_u3d_stop_activity [34854+20+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]
mv_u3d_suspend [50039+14+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]
mv_u3d_vbus_session [28863+19+/linux-3.17-rc1/drivers/usb/gadget/udc/mv_u3d_core.c]